منابع مشابه
Diverse Homogeneous Sets
A set HE w is said to be diverse with respect to a partition II of w if at least two pieces of I7 have an infinite intersection with H. A family of partitions of w has the Ramsey property if, whenever Co] is two-colored, some monochromatic set is diverse with respect to at least one partition in the family. We show that no countable collection of even infinite partitions of CIJ has the Ramsey p...
متن کامل5 Universal homogeneous causal sets
Causal sets are particular partially ordered sets which have been proposed as a basic model for discrete space-time in quantum gravity. We show that the class C of all countable past-finite causal sets contains a unique causal set (U,≤) which is universal (i.e., any member of C can be embedded into (U,≤)) and homogeneous (i.e., (U,≤) has maximal degree of symmetry). Moreover, (U,≤) can be const...
متن کاملHomogeneous Sets of ATP Problems
This report describes how the homogeneity of sets of ATP problems can be measured with respect to the performance of ATP systems. Measuring homogeneity is important as a basis for empirical evaluation of ATP systems and problems. The method developed assigns problems to nodes in a graph, and finding homogeneous sets of problems is reduced to finding maximal cliques in the graph. The method is r...
متن کاملSome t-Homogeneous Sets of Permutations
Perpendicular Arrays are ordered combinatorial structures, which recently have found applications in cryptography. A fundamental construction uses as ingredients combinatorial designs and uniformly t-homogeneous sets of permutations. We study the latter type of objects. These may also be viewed as generalizations of t-homogeneous groups of permutations. Several construction techniques are given...
متن کاملFraenkel-Mostowski Sets with Non-homogeneous Atoms
are not. (In the second example, the two sets can be mapped to each other by a partial automorphism, but not by one that extends to a automorphism of the real numbers.) Here is the definition of FM sets. The definition is parametrized by a set of atoms. The atoms are given as a relational structure, which induces a notion of automorphism. (One can also consider atoms with function symbols, but ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 1992
ISSN: 0097-3165
DOI: 10.1016/0097-3165(92)90072-3